Logic in computer science - PDFSEARCH.IO - Document Search Engine

Logic in computer science
Results: 2713

#	Item
861	TAPASHigh Performance Static Analysis for Industry Mark Bradley, Franck Cassez, Ansgar Fehnker, Thomas Given-Wilson and Ralf Huuck Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-01-01 17:52:54 Formal methods Software testing Program analysis Logic in computer science Procedural programming languages Static program analysis Vulnerability Model checking Abstract interpretation Computing Software engineering Computer programming
862	Kodkod: A Relational Model Finder Emina Torlak and Daniel Jackson MIT Computer Science and Artificial Intelligence Laboratory {emina, dnj}@mit.edu Abstract. The key design challenges in the construction of a SAT-based Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:58 Model theory Boolean algebra Relational model Logical connectives FO First-order logic Structure Relational algebra Finitary relation Mathematical logic Logic Mathematics
863	HANDLING ALGEBRAIC EFFECTS GORDON D. PLOTKIN AND MATIJA PRETNAR Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh, Scotland e-mail address: Faculty of Mathema Add to Reading List Source URL: matija.pretnar.info Language: English - Date: 2014-10-06 03:14:23 Logic in computer science Algebraic geometry Field theory Valuation Monad Denotational semantics Exception handling Symbol Sheaf Abstract algebra Mathematics Software engineering
864	Advanced Procedures for Hard Problems in Abstract Argumentation Johannes Peter Wallner Institute of Information Systems Vienna University of Technology Add to Reading List Source URL: www.dcs.kcl.ac.uk Language: English - Date: 2013-06-09 11:47:58 Critical thinking Arguments Logic Argumentation theory NP-complete Boolean satisfiability problem NP-hard Oracle machine Algorithm Theoretical computer science Applied mathematics Complexity classes
865	http://www.isso.uh.edu/publications/A9798/chen.htm Add to Reading List Source URL: www.ee.cityu.edu.hk Language: English - Date: 2011-04-30 22:37:47 Logic in computer science Science Control engineering Fuzzy control system Neural network Fuzzy subalgebra Logic Fuzzy logic Artificial intelligence
866	CCCG 2010, Winnipeg MB, August 9–11, 2010 Watchman Route in a Simple Polygon with a Rubberband Algorithm Fajie Li∗ Add to Reading List Source URL: cccg.ca Language: English - Date: 2010-07-19 10:46:14 Mathematical logic Theoretical computer science Pi Trigonometric functions Shortest path problem MAX-3SAT Mathematics Mathematical analysis Algorithm
867	The Semantics of Version Control The semantics of version control 1 Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2015-04-30 03:24:18 Social philosophy Theoretical computer science Logic in computer science Logic Programming language semantics Applied mathematics Grammar Meaning Semantics
868	An Efficient Approximation to Lookahead in Relational Learners Jan Struyf1 , Jesse Davis2 , and David Page2 1 Katholieke Universiteit Leuven, Dept. of Computer Science Add to Reading List Source URL: pages.cs.wisc.edu Language: English - Date: 2006-10-16 14:52:48 Compiler construction Lookahead Logic programming Mathematical logic Algorithm Clause Greedy algorithm Mathematics Parsing Logic
869	An algorithm for computing bisimulations in planning Bachelor Thesis Natural Science Faculty of the University of Basel Department of Mathematics and Computer Science Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2013-01-07 17:29:29 Heuristics Computer science Bisimulation Logic in computer science Models of computation Algorithm A* search algorithm State transition system Search algorithm Theoretical computer science Applied mathematics Mathematics
870	University of California Los Angeles Robust Service Composition A dissertation submitted in partial satisfaction Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2012-11-23 07:14:37 Programming language semantics Programming language theory Data types Type theory Operational semantics Citizens for Tax Justice Semantics Process calculus Subtype polymorphism Theoretical computer science Logic in computer science Software engineering

UPDATE